搜索包含 Explokart (Program) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Explokart (Program) 的图书(共254本)

	Chaos [electronic resource] : A Program Collection for the PC 0 索取号：作者：Korsch、 Hans J眉rgen.、Jodl、 Hans-J枚rg.、Hartmann、 Timo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic 0 索取号：作者：Clavel、 Manuel.、Dur谩n、 Francisco.、Eker、 Steven.、Lincoln、 Patrick.、Mart铆-Oliet、 Narciso.、Meseguer、 Jos茅.、Talcott、 Carolyn.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers 0 索取号：作者：Puebla、 Germ谩n.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday 0 索取号：作者：Reps、 Thomas.、Sagiv、 Mooly.、Bauer、 J枚rg.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings 0 索取号：作者：Audebaud、 Philippe.、Paulin-Mohring、 Christine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program 0 索取号：作者：Kohlas、 J眉rg.、Meyer、 Bertrand.、Schiper、 Andr茅.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Mathematics of Program Construction [electronic resource] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings 0 索取号：作者：Uustalu、 Tarmo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers 0 索取号：作者：Hill、 Patricia M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 鈥ಸ, 2004, Revised Selected Papers 0 索取号：作者：Etalle、 Sandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Doing the Impossible [electronic resource] : George E. Mueller and the Management of NASA鈥檚 Human Spaceflight Program 0 索取号：作者：Slotkin、 Arthur L.、SpringerLink (Online service)、出版社：New York, NY : Springer New York : Imprint: Springer, 2012.
	Student Financial Literacy [electronic resource] : Campus-Based Program Development 0 索取号：作者：Durband、 Dorothy B.、Britt、 Sonya L.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2012.		Youth Gangs in International Perspective [electronic resource] : Results from the Eurogang Program of Research 0 索取号：作者：Esbensen、 Finn-Aage.、Maxson、 Cheryl L.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2012.
	From Program to Product [electronic resource] : Turning Your Code into A Saleable Product 0 索取号：作者：Smolin、 Rocky.、SpringerLink (Online service)、出版社：Berkeley, CA : Apress, 2008.		Automatic Program Development [electronic resource] : A Tribute to Robert Paige 0 索取号：作者：Danvy、 Olivier.、Henglein、 Fritz.、Mairson、 Harry.、Pettorossi、 Alberto.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.
	Geophysics of the Canary Islands [electronic resource] : Results of Spain鈥檚 Exclusive Economic Zone Program 0 索取号：作者：Clift、 Peter.、Acosta、 Juan.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2005.		Developing Tsunami-Resilient Communities [electronic resource] : The National Tsunami Hazard Mitigation Program 0 索取号：作者：Bernard、 E. N.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2005.

	Chaos [electronic resource] : A Program Collection for the PC 0 索取号：作者：Korsch、 Hans J眉rgen.、Jodl、 Hans-J枚rg.、Hartmann、 Timo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic 0 索取号：作者：Clavel、 Manuel.、Dur谩n、 Francisco.、Eker、 Steven.、Lincoln、 Patrick.、Mart铆-Oliet、 Narciso.、Meseguer、 Jos茅.、Talcott、 Carolyn.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers 0 索取号：作者：Puebla、 Germ谩n.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday 0 索取号：作者：Reps、 Thomas.、Sagiv、 Mooly.、Bauer、 J枚rg.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings 0 索取号：作者：Audebaud、 Philippe.、Paulin-Mohring、 Christine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program 0 索取号：作者：Kohlas、 J眉rg.、Meyer、 Bertrand.、Schiper、 Andr茅.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Mathematics of Program Construction [electronic resource] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings 0 索取号：作者：Uustalu、 Tarmo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers 0 索取号：作者：Hill、 Patricia M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 鈥ಸ, 2004, Revised Selected Papers 0 索取号：作者：Etalle、 Sandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Doing the Impossible [electronic resource] : George E. Mueller and the Management of NASA鈥檚 Human Spaceflight Program 0 索取号：作者：Slotkin、 Arthur L.、SpringerLink (Online service)、出版社：New York, NY : Springer New York : Imprint: Springer, 2012.
	Student Financial Literacy [electronic resource] : Campus-Based Program Development 0 索取号：作者：Durband、 Dorothy B.、Britt、 Sonya L.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2012.		Youth Gangs in International Perspective [electronic resource] : Results from the Eurogang Program of Research 0 索取号：作者：Esbensen、 Finn-Aage.、Maxson、 Cheryl L.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2012.
	From Program to Product [electronic resource] : Turning Your Code into A Saleable Product 0 索取号：作者：Smolin、 Rocky.、SpringerLink (Online service)、出版社：Berkeley, CA : Apress, 2008.		Automatic Program Development [electronic resource] : A Tribute to Robert Paige 0 索取号：作者：Danvy、 Olivier.、Henglein、 Fritz.、Mairson、 Harry.、Pettorossi、 Alberto.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.
	Geophysics of the Canary Islands [electronic resource] : Results of Spain鈥檚 Exclusive Economic Zone Program 0 索取号：作者：Clift、 Peter.、Acosta、 Juan.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2005.		Developing Tsunami-Resilient Communities [electronic resource] : The National Tsunami Hazard Mitigation Program 0 索取号：作者：Bernard、 E. N.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2005.